Structured Formal Development in Isabelle

@article{pub3895,
    author = {

Bortin, Maksym
 and 

Johnsen, Einar Broch
 and 

Lüth, Christoph
},
    title = {Structured Formal Development in Isabelle},
    year = {2006},
    volume = {13},
    pages = {1--20},
    journal = {Nordic Journal of Computing}
}