 He was an originator of formal object-oriented techniques (Z++), and developed a combination of UML and formal methods in a number of papers and books.He was one of the founders of the Precise UML group, who influenced the definition of UML 2.0.Lano published the book "Advanced Systems Design with Java, UML and MDA" (Butterworth-Heinemann, ) in 2005.