4 works on record
An introduction to formal specification and Z
1991
3-2-1-LOS! Von Punkt zu Punkt
Irish Grub in a Mug Magnetic
Pocket Irish Pub Cookbook
2016